1781. Scientific Computation with Automatic Result Verification
پدیدآورنده: edited by Ulrich Kulisch, Hans J. Stetter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Mathematics.,Microprogramming.
1782. Scientific Computing with Mathematica®
پدیدآورنده: by Addolorata Marasco, Antonio Romano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Differential Equations.,Engineering mathematics.,Mathematics.
1783. Scientific Modeling and Simulations
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Physics. ; Chemistry. ; Computer simulation. ; Computer science. ; Engineering mathematics. ; Physics. ; Numerical and Computational Physics. ; Appl.Mathematics/Computational Methods of Engineering. ; Simulation and Modeling. ; Computational Science and E
1784. Scientific computing :
پدیدآورنده: Bertil Gustafsson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer input-output equipment.,Computer science-- Mathematics.,Computers.,History.,Mathematics.,Science-- Data processing.,Computer hardware.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- General.,Engineering-- Data processing.,Engineering-- Mathematical models.,History of mathematics.,Mathematical theory of computation.,Mathematics-- Counting & Numeration.,Mathematics-- History & Philosophy.,Numerical analysis.,Program concepts-- learning to program.,Science-- Data processing.,Science-- Mathematical models.
رده :
Q183
.
9
.
G87
2018
1785. Scientific computing with automatic result verification
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing,، Computer science-- Mathematics
رده :
QA
76
.
S368
1993
1786. Scientific computing with automatic result verification
پدیدآورنده: / edited by E. Adams, U. Kulisch
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic data processing,Computer science - Mathematics
رده :
QA
76
.
S368
1993
1787. Scientific computing with automatic result verification
پدیدآورنده: / edited by E. Adams, U. Kulisch
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic data processing,Computer science -- Mathematics
رده :
QA
76
.
S36
1993
1788. Second-order sensitivity analysis in mathematical programming
پدیدآورنده: C. Nahum
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Applied sciences,Computer science,Mathematics,Mathematics,Pure sciences
1789. Security of block ciphers :
پدیدآورنده: Kazuo Sakiyama, Yu Sasaki, Yang Li
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Ciphers,Computer algorithms,Computer security-- Mathematics,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
1790. Selected Areas in Cryptography
پدیدآورنده: edited by Evangelos Kranakis, Paul Oorschot.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Coding theory.,Computational complexity.,Computer science.,Mathematics.
1791. Selected problems in discrete mathematics
پدیدآورنده: Gavrilov, G. P.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematics,، Computer science - Mathematics
رده :
QA
39
.
2
.
G3813
1989
1792. Selected problems in discrete mathematics
پدیدآورنده: Gavrilov, Garii Petrovich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Computer science - Mathematics - problems, exercises, etc
رده :
QA
76
.
9
.
M35
G313
1989
1793. Selected topics in discrete mathematics: Proceeding of the Moscow Discrete Mathematics Seminar, 1972 - 1990
پدیدآورنده: edited by A. K. Kelmans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Mathematics - Congresses,، Computer science - Mathematics - congresses
رده :
QA
3
.
A4
S44
1994
1794. Semantics and algebraic specificatio
پدیدآورنده: / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
1795. Semantics and algebraic specification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
1796. Sensitivity, Stability and Parametric Analysis
پدیدآورنده: edited by Anthony V. Fiacco.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics.,Mathematical optimization.,Mathematics.
رده :
QA402
.
5
E358
1984
1797. Sensitivity analysis for neural network
پدیدآورنده: / Daniel S. Yeung, Ian Cloete, Daming Shi, Wing W.Y. Ng
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Neural networks (Computer science),Sensitivity theory (Mathematics)
رده :
QA
,
76
.
87
,.
Y48
,
2010
1798. Sensitivity analysis for neural networks
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Neural networks (Computer science) ; Sensitivity theory (Mathematics) ;
1799. Sensitivity analysis for neural networks
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Neural networks )Computer science(,، Sensitivity theory )Mathematics(
رده :
QA
76
.
87
.
S37
2010
1800. Sensitivity analysis for neural networks
پدیدآورنده: Daniel S. Yeung...]et al.[
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Neural networks )Computer science(,، Sensitivity theory )Mathematics(,، Electronic books
رده :
QA
76
.
87
.
S46
